# (decoded with TMPL 9374)
*****: (EOF-terminated list)